$\forall$$w$:World, $e$, ${\it e'}$:E. FairFifo $\Rightarrow$ pred!($e$;${\it e'}$) $\Rightarrow$ (time($e$) $<$ time(${\it e'}$))